New Logics for Intelligent Control
نویسندگان
چکیده
New automatic theorem proving (ATP) techniques for application in control syst~nR and artificial intelligence is proposed. We consider new logical languages in descrip~ive and constructive semantics. These languages censist of 1-st c~der fc~muins with type quantifie~s. We de’he logical calculi of classical and intuitionistic types as well as strategies of automated reasoning. In. formation on results of these logicsJ tools usage in some control problem is given. KeywordsAutomatic theorem proving, Descriptive and constructive losfcs, Intelligent control
منابع مشابه
Design of An Intelligent Model for Strategic Planning in Mineral Holding: Case study, Shahab-Sang Holding
Business logic is one of the most important logics based on the decision matrix. However, using this logic alone and environmental uncertainty leads to problems such as low accuracy and integrity in strategic planning. In this work, we use an intelligent model based on the neural-fuzzy approach aiming at a desired decision-making and reducing the uncertainty in the strategic planning in mineral...
متن کاملA New Intelligent Approach to Patient-cooperative Control of Rehabilitation Robots
This paper presents a new intelligent method to control rehabilitation robots by mainly considering reactions of patient instead of doing a repetitive preprogrammed movement. It generates a general reference trajectory based on different reactions of patient during therapy. Three main reactions has been identified and included in reference trajectory: small variations, force shocks in a single ...
متن کاملApplication Flatness Technique for Intelligent Control of a New Electric Energy Source
In this paper, an intelligent control strategy based on combination of the “flatness based control technique” and the “perturbation and observation (P&O) MPPT algorithm” is developed and investigated to control a hybrid electric energy source (HEPS). This EHPS is composed of a fuel cell system (FC) and a solar panel (SP), as the main source and a supercapacitor bank (SC), as the auxiliary sourc...
متن کاملA New Intelligent Controller for Parallel DC/DC Converters
In this paper, the immune controller, is used to control the paralleled DC-DC converters. A PID controller is first applied and its coefficient is optimized using an intelligent (PSO) algorithm. Immune controller is then added to PID controller and an immune PID controller is formed. Two methods have been suggested to determine non-linear behavior of immune controller. In the first method, an e...
متن کاملIntelligent Control for the Variable-Speed Variable-Pitch Wind Energy System
In this paper, a new type of multi-variable compensation control method for the wind energy conversion systems (WECS) is presented. Based on wind energy conversion systems, combining artificial neural network (ANN) control and PID, a new type of PID NN intelligent controller for steady state torque of the wind generator is designed, by which the steady state torque output is regulated to track ...
متن کامل